Knihy od autora Manfred Kerber

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Towards Mechanized Mathematical Assistants

   Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger | Springer, Berlin, 2007

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
2. 

   Computational Logic - CL 2000

   John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000

   
   

   Skladem u dodavatele - Odesíláme za 5-7 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1442 Kč

   Koupit
3. 

   Intelligent Computer Mathematics

   Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
4. 

   Intelligent Computer Mathematics

   Catherine Dubois, Manfred Kerber | Springer, Berlin, 2023

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2275 Kč

   Koupit

Knihy si můžete vyzvednout na mnoha místech po celé ČR. Zjistěte více